Separation logic - PDFSEARCH.IO - Document Search Engine

Separation logic
Results: 136

#	Item
41	Idealized ML and Its Separation Logic Neelakantan R. Krishnaswami Lars Birkedal Jonathan Aldrich Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2006-07-17 18:58:38
42	Higher-Order Representation Predicates in Separation Logic Arthur Charguéraud Inria, Université Paris-Saclay, France LRI, CNRS & Univ. Paris-Sud, Université Paris-Saclay, France Add to Reading List Source URL: chargueraud.org Language: English - Date: 2015-12-17 11:18:09
43	The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-08-14 13:22:55 Theoretical computer science Software engineering Formal methods Logic in computer science Software testing Formal verification Separation logic Loop invariant Software verification Eiffel Postcondition Invariant
44	Separation Logic for a Higher-Order Typed Language [Extended Abstract] Neelakantan Krishnaswami Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2006-02-16 10:22:45
45	Modular Verification of the Subject-Observer Pattern via Higher-Order Separation Logic Neelakantan R. Krishnaswami, Jonathan Aldrich1 , and Lars Birkedal2 1 Carnegie Mellon University, {neelk, aldrich}@cs.cmu.edu Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2007-08-09 13:58:58
46	Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-06-20 06:07:02 Logic Theoretical computer science Mathematical logic Logic in computer science Java bytecode Hoare logic Interpretation Separation logic Bytecode Model theory
47	Design Patterns in Separation Logic Neelakantan R. Krishnaswami Jonathan Aldrich Lars Birkedal Kasper Svendsen Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-12-01 18:44:37
48	Javanni: A Verifier for JavaScript Martin Nordio1 , Cristiano Calcagno2 , and Carlo A. Furia1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-03-04 10:30:18 Software engineering Computer programming Computing Compiler optimizations Cross-platform software Scripting languages Logic in computer science JavaScript Separation logic Inline expansion Correctness Loop unrolling
49	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2014-08-18 18:05:40 Software engineering Mathematical logic Computing Concurrency Logic in computer science Computer memory First-order logic Predicate logic Memory model Hoare logic Lock FO
50	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid